Indefiniteness makes lattice reduction easier
arxiv.org·2d
🔗Combinatory Logic
Flag this post
Pitch Multiplication (2017)
🎼Audio Lambda Calculus
Flag this post
Olmo 3 is a fully open LLM
simonwillison.net·5h
🌀Brotli Internals
Flag this post
Student projects in complex function theory – The Prime Number Theorem and Riemann’s paper
noncommutativeanalysis.wordpress.com·20h
⚔️Lean Theorem
Flag this post
Footnotes to a long month: Books of the year?
logicmatters.net·9h
⭐Awesome lists
Flag this post
Lang’s theorem — Pt. IV: a mixed-characteristic variant
ayoucis.wordpress.com·9h
λLambda Encodings
Flag this post
The Machine Learning Roadmap
🎵Audio ML
Flag this post
Set theory with types
🔤Type Theory
Flag this post
Here's Why I Think Salesforce Is One Of The Better AI Investments
seekingalpha.com·20h
🔍BitFunnel
Flag this post
Evolution Strategies at the Hyperscale
🔲Cellular Automata
Flag this post
Pretty Charts Are Lying to You
hackernoon.com·12h
⚙️Proof Engineering
Flag this post
A game strategy that depends on the Continuum Hypothesis
thehighergeometer.wordpress.com·4d
🔲Cellular Automata
Flag this post
locally presentable (infinity,n)-category
ncatlab.org·5d
🔀Category Theory
Flag this post
Notes for November 17-22
taoofmac.com·7h
🌀Brotli Internals
Flag this post
[D] Looking for resources on “problem framing + operational thinking” for ML ?
🎵Audio ML
Flag this post
Verification Is Not the Silver Bullet
🎯Performance Proofs
Flag this post
Loading...Loading more...